Logical truth - PDFSEARCH.IO - Document Search Engine

Logical truth
Results: 321

#	Item
121	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
122	Published in Mind, 2003, ), ppGonzalo Rodriguez-Pereyra Hertford College, Oxford Facing Facts, by Stephen Neale. Oxford: Clarendon Press, 2001. Pp. xv + 254. Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-03-18 12:19:48 Logical truth Propositional calculus Logical syntax Veracity Slingshot argument Stephen Neale Slingshot Entailment Logical connective Logic Philosophy Philosophical logic
123	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
124	Rules and Illusions: A Critical Study of Rips’s The Psychology of Proof PHILIP N. JOHNSON-LAIRD Department of Psychology, Princeton University, Princeton, NJ 08544, U.S.A. philclarity.princeton.edu Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:33:38 Deduction Propositional calculus Logical syntax Logical truth Inference Psychology of reasoning Rule of inference Mental model Natural deduction Logic Science Reasoning
125	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
126	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
127	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
128	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
129	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
130	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax

UPDATE